Works by E. J. Farkas

( view other items matching `E. J. Farkas`, view all matches )
Order:
  1.  21
    A faithful embedding of parallel computations in star-finite models.E. J. Farkas - 1988 - Studia Logica 47 (3):203 - 212.
    The purpose of this paper is to show that there exist star-finite tree-structured sets in which the computations of parallel programs can be faithfully embedded, and that the theory of star-finite sets and relations therefore provides a new tool for the analysis of non-deterministic computations.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  13
    “On the plausibility of nonstandard proofs in analysis”.E. J. Farkas & M. E. Szabo - 1984 - Dialectica 38 (4):297-310.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  5
    On the programs-as-formulas interpretation of parallel programs in peano arithmetic.E. J. Farkas & M. E. Szabo - 1988 - Annals of Pure and Applied Logic 37 (2):111-127.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation